conditional implication unit

un. 条件隐含单元
[网络] 条件蕴含运算